An Institution for UML 2.0 Interactions
نویسندگان
چکیده
This work presents the theory of UML 2.0 interactions, that is proven to define an institution.
منابع مشابه
An Institution for UML 2.0 Static Structures
This work presents the theory of UML 2.0 static structures (or class diagrams), that is proven to define an institution.
متن کاملA Formal Semantic for UML 2.0 Activity Diagram based on Institution Theory
Giving a formal semantic to an UML Activity diagram (UML AD) is a hard task. The reason of this difficulty is the ambiguity and the absence of a precise formal semantic of such semi-formal formalism. A variety of semantics exist in the literature having tackled the aspects covered by this language. We can give as example denotational, functional and compositional semantics. To cope with the rec...
متن کاملTowards a Formal Semantic for UML 2.0 - Activity Diagram based on Institution Theory
Giving a formal semantic to an UML Activity diagram (UML AD) is a hard task. The reason of this difficulty is the ambiguity and the absence of a precise formal semantic of such semi-formal formalism. A variety of semantics exist in the literature having tackled the aspects covered by this language. We can give as example denotational, functional and compositional semantics. To cope with the rec...
متن کاملSemantics of UML 2.0 Interactions with Variabilities
Means for the representation of variability in UML 2.0 interactions, as presented in a previous work, are further formalised and given a mathematically formal semantics. In this way, UML 2.0 interactions can be used in the conception and development of system families within domain and application engineering tasks. Following the transition from domain to application engineering as a configurat...
متن کاملComparing UML 2.0 Interactions and MSC-2000
This paper is a brief comparison between the Interactions of UML 2.0 as defined by the Final Adopted Specification (OMG ptc/03-07-06) and MSC-2000 as defined by Z.120 (ITU 1999). The comparison investigates whether UML 2.0 has serious shortcomings relative to MSC-2000. The paper also discusses whether MSC-2000 is still needed in the future or should be retired.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008